Schlanke Körper (Slim fields)

Schlanke Körper (Slim fields)

We examine fields in which model theoretic algebraic closure coincides with relative field theoretic algebraic closure. These are perfect fields with nice model theoretic behaviour. For example, they are exactly the fields in which algebraic independence is an abstract independence relation in the sense of Kim and Pillay. Classes of examples are perfect PAC fields, model complete large fields a...

Schlanke Produktionsweisen in der modernen Softwareentwicklung

Die traditionellen Prozesse, mit denen Software heutzutage oft noch entwickelt wird, zeigen deutliche – manche würden sagen: erschreckende – hnlichkeit mit dem Stand der Produktionsprozesse in der europäischen und amerikanischen Automobilindustrie Ende der 80er-Jahre, wie er in der bekannten MIT-Studie [WoJR91] gut verständlich beschrieben wurde. Viele Softwareprozesse sind immer noch eng an Ph...

Untersuchung effizienter Verfahren zur Bewegungssimulation deformierbarer Körper

Slim Groupoids

Slim groupoids are groupoids satisfying x(yz) ≈ xz. We find all simple slim groupoids and all minimal varieties of slim groupoids. Every slim groupoid can be embedded into a subdirectly irreducible slim groupoid. The variety of slim groupoids has the finite embeddability property, so that the word problem is solvable. We introduce the notion of a strongly nonfinitely based slim groupoid (such g...

Slim Binaries , 1997

syntax tree data dictionary object file write sequence update dictionary find best sequence write interface add symbols i, j, P := i 1 i+1 P(•) i+1 +